Trefferliste "Mathematical Logic" - alle Bücher

Ihre Suche nach "Mathematical Logic" (Bücher) ergab 12 Treffer.

Kurt Gödel, Hans Hahn,
Mathematical Logic in Vienna

Kurt Gödel (1906-1978) created a sensation by his incompleteness theorems of 1931, now seen as one of the high points of 20th century mathematics and science more generally. His professor at the Universit…

lieferbar innerhalb 2-3 Wochen

Buch

David Marker
An Invitation to Mathematical Logic

In addition to covering the essentials, the author's intention in writing this text is to entice the reader to further study mathematical logic. There is no current "standard text" for a first g…

lieferbar innerhalb 2-3 Wochen

Buch

Guillermo Badia, John N Crossley, John C Stillwell, Christopher J Ash
What Is Mathematical Logic?

Mathematical logic has grown into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable…

Erscheint bald

Buch

The Times Mind Games
The Times Kakuro Book 1

Test your powers of logic with 200 puzzles from The TimesJust like a mathematical crossword, these puzzles are ideal for fans of Su Doku who relish grappling with figures. Contains four levels of difficul…

lieferbar innerhalb 1-2 Wochen

Buch

William M. Farmer
Simple Type Theory

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to sim…

lieferbar innerhalb 2-3 Wochen

Buch

Enrico Martino, Massimiliano Carrara
Arbitrary Reference in Logic and Mathematics

This book develops a new approach to plural arbitrary reference and examines mereology, including considering four theses on the alleged innocence of mereology. The authors have advanced the notion of plu…

lieferbar innerhalb 2-3 Wochen

Buch

Rethinking the History of Logic, Mathematics and Exact Sciences

The two volumes are dedicated to Volker Peckhaus, editor of the well-known Journal History and Philosophy of Logic, who has been playing a major role in shaping the philosophical and social history of log…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Applied Logics

This book contains contributions from several international authors to topics of current interest, such as AI, intelligent systems, and logic applications in different branches of knowledge. Foundational …

lieferbar innerhalb 2-3 Wochen

Buch

Daniel Wollschläger
Grundlagen der Datenanalyse mit R

Dieses Buch liefert eine anwendungsorientierte Einführung in die Datenauswertung mit der freien Statistikumgebung R. Es behandelt deskriptive Auswertungen ebenso umfassend wie inferenzstatistische Analyse…

lieferbar ab 15.10.2025.

Buch

Holger Kube Ventura,
"Das Quadrat muss den Raum beherrschen!" - Aurélie Nemours und Zeitgenossen

Does everything in the world obey a mathematical logic, can everything be calculated? In our present age of probability, some would say the answer is a straightforward yes, inevitably prompting the questi…

sofort lieferbar

Buch

Christopher Porter Jind Douglas Cenzer
Set Theo & Found Math (V1-2nd Ed)

This book presents both axiomatic and descriptive set theory, targeting upper-level undergraduate and beginning graduate students. It aims to equip them for advanced studies in set theory, mathematical lo…

lieferbar innerhalb 2-3 Wochen

Buch

Regula Krapf, Lorenz Halbeisen
Gödel's Theorems and Zermelo's Axioms

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs…

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.